A semantics of multiple inheritance